Distributed real-time system specification and verification in APTL
نویسندگان
چکیده
منابع مشابه
Real-time systems - specification, verification and analysis
Bargaining with reading habit is no need. Reading is not kind of something sold that you can take or not. It is a thing that will change your life to life better. It is the thing that will give you many things around the world and this universe, in the real world and here after. As what will be given by this real time systems specification verification and analysis, how can you bargain with the...
متن کاملSpecification Languages for Distributed Real-Time Software
This paper summarises, in tabular form, the results of a wide-ranging survey of specification languages suited to formally describing distributed real-time systems. The languages are characterised in terms of their overall modelling technique, specific features for modelling concurrency and real-time concepts, and their suitability for formal timing analysis. Based on this survey some direction...
متن کاملVerification of Real-Time Specification Patterns on Time Transition Systems
We address the problem of checking properties of Time Transition Systems (TTS), a generalization of Time Petri Nets with data variables and priorities. We are specifically interested by time-related properties expressed using real-time specification patterns, a language inspired by properties commonly found during the analysis of reactive systems. Our verification approach is based on the use o...
متن کاملSpecification, modelling, verification and runtime analysis of real time systems
ion Techniques Exact Low-Level Runtime Analysis High-Level Real-Time Formal Model Low-Level Real-Time Formal Model High-Level Real-Time Verification Low-Level Real-Time Verification Exact High-Level WCET/BCET Analysis Executable Code Exact Low-Level WCET/BCET Analysis Figure 1.2: : A Formal Framework for the Specification, Modelling, Verification and Runtime Analysis of Real-Time Systems
متن کاملSpecification and verification of real-time systems using ACSR-VP
The reliability of the design of a real-time system is important. For example, when there are errors in avionics control systems or nuclear reactor control systems, the loss of finance, time or even the loss of human lives could be enormous. Therefore when one designs a real-time system, methods to guarantee the correctness of the system are needed before the implementation of the system. We sp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 1993
ISSN: 1049-331X,1557-7392
DOI: 10.1145/158431.158434